退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:符号系统,显式属性:关于LTL符号模型检验的混合方法
Roberto Sebastiani; Stefano Tonetta; Moshe Y. Vardi;
机译:控制显式数据符号模型检查
机译:使用显式调度程序和符号线程进行软件模型检查
机译:符号系统,显式属性:关于LTL符号模型检查的混合方法
机译:使用符号模型检查对化学过程进行事件建模和验证。
机译:模拟数字系统不处理符号数字比较:不同的符号和非符号数字距离和大小影响
机译:比较软件系统的符号和显式模型检查
机译:使用混合显式和符号模型检查的软件验证
机译:在符号模型检查之前减少状态空间变量的方法和系统
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。